Some of the important issues, such as abstraction, expressiveness and flexibility of representation in the transformational programming language and correctness of the transformational program are discussed in the later part of this paper. 最后,讨论了变换型语言表示的抽象性,一般性和控制的灵活性,以及变换型程序的正确性等问题。
A notation of program transformation in programming LANGUAGES-ON transformational programming languages 程序变换在程序语言中的一种表示&兼论变换型语言